Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
61	Microsoft Word - Kneidl_EMEVAC_2011_final.docx Add to Reading List Source URL: www.cms.bgu.tum.de Language: English - Date: 2014-12-18 07:59:00 Probabilistic complexity theory Algorithm Mathematical logic Randomized algorithm Ant colony optimization algorithms Computer simulation Genetic algorithm Shortest path problem Nondeterministic algorithm Theoretical computer science Applied mathematics Mathematics
62	Compact Representations for Shortest-‐Path Queries Pankaj K. Agarwal Duke University The paradigm of computing geometric summaries has Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:20 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Combinatorial optimization Mathematics Operations research Applied mathematics
63	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
64	Amit Purohit, Vinay Kariwala, Saurabh Deshpande, C&O INCRC/MATLAB Expo, August 21, 2013 Advanced control and optimization on PLC using code generation © ABB 08 August 2013 Add to Reading List Source URL: www.matlabexpo.com Language: English - Date: 2013-08-26 05:53:20 Engineering Automation Chemical engineering ABB Asea Brown Boveri ABB Group Companies listed on the New York Stock Exchange Programmable logic controller Model predictive control Process control Technology Science Control theory
65	Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan Add to Reading List Source URL: simons.berkeley.edu Language: English - Date: 2014-03-13 13:08:11 Mathematical optimization Applied mathematics Mathematics Logic in computer science Constraint programming NP-complete problems Theoretical computer science Operations research Tensor
66	Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:26:39 Computing Constraint satisfaction Local consistency Constraint logic programming Constraint optimization Mathematical optimization Search algorithm AC-3 Hybrid algorithm Constraint programming Software engineering Computer programming
67	PDF Document Add to Reading List Source URL: nileco.net Language: English - Date: 2014-06-15 10:24:16 Business Social media optimization Social media marketing Search engine optimization Social media Pinstorm Media Logic Internet marketing Marketing Mass media
68	SM-77 Sujono and Lashkari SIMMOD05 Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 21:50:35 Mathematics Algorithm Mathematical logic Theoretical computer science Genetic algorithm Job shop scheduling Evolutionary computation Science Flexible manufacturing system Operations research Mathematical optimization Applied mathematics
69	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
70	Proceedings in Applied Mathematics and Mechanics, 15 OctoberUncertainty modeling in autonomous robust spacecraft system design Martin Fuchs1∗ , Arnold Neumaier1 , and Daniela Girimonte2 1 2 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-02-11 08:18:48 Operations research Quality Measurement Uncertainty Mathematical optimization Optimal design Fuzzy logic Info-gap decision theory Robust optimization Statistics Statistical theory Probability interpretations